Buy Used and New Roderick Bloem Books

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)

by Armin Biere, Roderick Bloem

ISBN 13: 9783319088662

Format: Paperback (912 pages)
Publisher: Springer
Published: 04 Aug 2014

Save for later

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)

by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

ISBN 13: 9783030955601

Format: Paperback (211 pages)
Publisher: Springer
Published: 22 Feb 2022

Save for later